FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings (Lecture Notes in Computer Science)
by Dimitra Giannakopoulou, Dominique Mery
ISBN 13: 9783642327582
Format: Paperback (504 pages) Publisher: Springer Published: 21 Jul 2012
Save for later